$\forall$$i$:Id, $w$:World, $p$:FairFifo, $k$:Knd, $v$:Top. kindtype($i$;$k$) $\sim$ valtype($i$;doact($k$;$v$))